Vouillon, Jerome: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

[IEEE 21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06) - Tokyo (2006.09.18-2006.09.22)] 21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06) - Managing the Complexity of Large Free and Open Source Package-Based Software Distributions

Mancinelli, Fabio, Boender, Jaap, Cosmo, Roberto, Vouillon, Jerome, Durak, Berke, Leroy, Xavier, Treinen, Ralf

Year:

2006

Language:

english

File:

PDF, 311 KB

english, 2006

2

From bytecode to JavaScript: the Js_of_ocaml compiler

Vouillon, Jérôme, Balat, Vincent

Journal:

Software: Practice and Experience

Year:

2014

Language:

english

File:

PDF, 2.42 MB

english, 2014

3

[IEEE 2013 35th International Conference on Software Engineering (ICSE) - San Francisco, CA, USA (2013.05.18-2013.05.26)] 2013 35th International Conference on Software Engineering (ICSE) - Broken sets in software repository evolution

Vouillon, Jerome, Di Cosmo, Roberto

Year:

2013

Language:

english

File:

PDF, 812 KB

english, 2013

4

A Solution to the PoplMarkChallenge Based on de Bruijn Indices

Jérôme Vouillon

Journal:

Journal of Automated Reasoning

Year:

2012

Language:

english

File:

PDF, 550 KB

english, 2012

5

[ACM Press the 31st ACM SIGPLAN-SIGACT symposium - Venice, Italy (2004.01.14-2004.01.16)] Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '04 - Semantic types

Vouillon, Jerome, Melliès, Paul-André

Year:

2004

Language:

english

File:

PDF, 282 KB

english, 2004

6

[IEEE 2015 IEEE/ACM 12th Working Conference on Mining Software Repositories (MSR) - Florence, Italy (2015.5.16-2015.5.17)] 2015 IEEE/ACM 12th Working Conference on Mining Software Repositories - A Historical Analysis of Debian Package Incompatibilities

Claes, Maelick, Mens, Tom, Di Cosmo, Roberto, Vouillon, Jerome

Year:

2015

Language:

english

File:

PDF, 1.08 MB

english, 2015

7

[ACM Press the 19th ACM SIGSOFT symposium and the 13th European conference - Szeged, Hungary (2011.09.05-2011.09.09)] Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering - SIGSOFT/FSE '11 - On software component co-installability

Di Cosmo, Roberto, Vouillon, Jérôme

Year:

2011

Language:

english

File:

PDF, 804 KB

english, 2011

8

[ACM Press the 28th ACM SIGPLAN-SIGACT symposium - London, United Kingdom (2001..-..)] Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '01 - Combining subsumption and binary methods

Vouillon, Jérôme

Year:

2001

Language:

english

File:

PDF, 261 KB

english, 2001

9

On software component co-installability

Vouillon, Jérôme, Cosmo, Roberto Di

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2013

Language:

english

File:

PDF, 1.36 MB

english, 2013

10

Combining subsumption and binary methods

Vouillon, Jérôme

Journal:

ACM SIGPLAN Notices

Year:

2001

Language:

english

File:

PDF, 261 KB

english, 2001

11

A very modal model of a modern, major, general type system

Appel, Andrew W., Melliès, Paul-André, Richards, Christopher D., Vouillon, Jérôme

Journal:

ACM SIGPLAN Notices

Year:

2007

Language:

english

File:

PDF, 376 KB

english, 2007

12

[ACM Press Companion of the The Web Conference 2018 - Lyon, France (2018.04.23-2018.04.27)] Companion of the The Web Conference 2018 on The Web Conference 2018 - WWW '18 - Tierless Web Programming in the Large

Radanne, Gabriel, Vouillon, Jérôme

Year:

2018

Language:

english

File:

PDF, 1.18 MB

english, 2018

13

[ACM Press the 14th ACM SIGPLAN international conference - Edinburgh, Scotland (2009.08.31-2009.09.02)] Proceedings of the 14th ACM SIGPLAN international conference on Functional programming - ICFP '09 - Experience report

Balat, Vincent, Vouillon, Jérôme, Yakobowski, Boris

Year:

2009

Language:

english

File:

PDF, 387 KB

english, 2009

14

[ACM Press the 36th International Conference - Hyderabad, India (2014.05.31-2014.06.07)] Proceedings of the 36th International Conference on Software Engineering - ICSE 2014 - Easing software component repository evolution

Vouillon, Jérôme, Dogguy, Mehdi, Di Cosmo, Roberto

Year:

2014

Language:

english

File:

PDF, 442 KB

english, 2014

15

Semantic types

Vouillon, Jerome, Melliès, Paul-André

Journal:

ACM SIGPLAN Notices

Year:

2004

Language:

english

File:

PDF, 282 KB

english, 2004

16

Regular expression types for XML

Hosoya, Haruo, Vouillon, Jérôme, Pierce, Benjamin C.

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2005

Language:

english

File:

PDF, 342 KB

english, 2005

17

Polymorphic regular tree types and patterns

Vouillon, Jérôme

Journal:

ACM SIGPLAN Notices

Year:

2006

Language:

english

File:

PDF, 190 KB

english, 2006

18

[ACM Press the 28th Symposium - Leuven, Belgium (2016.08.31-2016.09.02)] Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages - IFL 2016 - Eliom

Radanne, Gabriel, Papavasileiou, Vasilis, Vouillon, Jérôme, Balat, Vincent

Year:

2016

Language:

english

File:

PDF, 582 KB

english, 2016

19

[IEEE 2008 32nd Annual IEEE International Computer Software and Applications Conference - Turku, Finland (2008.07.28-2008.08.1)] 2008 32nd Annual IEEE International Computer Software and Applications Conference - Improving the Quality of GNU/Linux Distributions

Boender, Jaap, Di Cosmo, Roberto, Vouillon, Jerôme, Durak, Berke, Mancinelli, Fabio

Year:

2008

Language:

english

File:

PDF, 343 KB

english, 2008

20

[ACM Press the 34th annual ACM SIGPLAN-SIGACT symposium - Nice, France (2007.01.17-2007.01.19)] Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '07 - A very modal model of a modern, major, general type system

Appel, Andrew W., Melliès, Paul-André, Richards, Christopher D., Vouillon, Jérôme

Year:

2007

Language:

english

File:

PDF, 376 KB

english, 2007

21

Experience report

Balat, Vincent, Vouillon, Jérôme, Yakobowski, Boris

Journal:

ACM SIGPLAN Notices

Year:

2009

Language:

english

File:

PDF, 387 KB

english, 2009

22

[ACM Press the 24th ACM SIGPLAN-SIGACT symposium - Paris, France (1997.01.15-1997.01.17)] Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '97 - Objective ML

Rémy, Didier, Vouillon, Jérôme

Year:

1997

File:

PDF, 973 KB

1997

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски